package jdk17.sealed;

public non-sealed interface Circle extends Shape {
}
